Translation process – can technology speed it up?

Is It Worth Learning Translation Technology?

Monotonicity Analysis Can Speed Up Verification

We introduce a strategy for the verification of relational specifications based on the analysis of monotonicity of variables within formulas. By comparing with the Alloy Analyzer, we show that for a relevant class of problems this technique outperforms analysis of the same problems using SAT-solvers, while consuming a fraction of the memory SAT-solvers require.

Varying environments can speed up evolution.

Simulations of biological evolution, in which computers are used to evolve systems toward a goal, often require many generations to achieve even simple goals. It is therefore of interest to look for generic ways, compatible with natural conditions, in which evolution in simulations can be speeded. Here, we study the impact of temporally varying goals on the speed of evolution, defined as the nu...

Emergency physician intershift handover - can a dINAMO checklist speed it up and improve quality?

BACKGROUND Physician intershift handover has been identified as an area of high risk for adverse events, representing a critical step in patient care transition. Due to frequent shift changes and high patient numbers, emergency departments offer an ideal study setting. AIM OF THE STUDY At a tertiary care hospital emergency department we aimed to reduce the time needed for patient handover whi...

Development of Information and Communication Technology (ICT) in Container Terminal for Speed up Clearance Process

Abstract—Currently container terminals are busy to handle high volume of container shipping movement. Conventional operational procedures have difficulties in handling containers movement, thereby slowing clearances and even resulting in some administrative issues in terminal operation. This paper presents an development of Information and Communication Technology (ICT) in a container terminal...